<html>
<head><meta charset="utf-8"><title>hello · wg-formal-methods · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/index.html">wg-formal-methods</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html">hello</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="157285716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157285716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Welcome Bot <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157285716">(Jan 31 2019 at 16:47)</a>:</h4>
<p>Welcome to <a class="stream" data-stream-id="183875" href="/#narrow/stream/183875-wg-formal-methods">#wg-formal-methods</a>.</p>
<p><strong>Description</strong>: Discussing formal verification and methods in Rust</p>



<a name="157286463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157286463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157286463">(Jan 31 2019 at 16:56)</a>:</h4>
<p>Hello.</p>



<a name="157287723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157287723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157287723">(Jan 31 2019 at 17:12)</a>:</h4>
<p>hi all :)</p>



<a name="157287737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157287737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157287737">(Jan 31 2019 at 17:12)</a>:</h4>
<p>oh we got a very nice shade of blue for this stream :D</p>



<a name="157292868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157292868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157292868">(Jan 31 2019 at 18:22)</a>:</h4>
<p>One question: Should we make this part of the "default stream set"?</p>



<a name="157292903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157292903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157292903">(Jan 31 2019 at 18:22)</a>:</h4>
<p>I've been erring towards adding all major streams by default</p>



<a name="157292909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157292909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157292909">(Jan 31 2019 at 18:22)</a>:</h4>
<p>since most people don't even know they can add new streams</p>



<a name="157292920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157292920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157292920">(Jan 31 2019 at 18:22)</a>:</h4>
<p>done</p>



<a name="157293090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293090">(Jan 31 2019 at 18:25)</a>:</h4>
<p>not sure if we qualify as "major"</p>



<a name="157293103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293103">(Jan 31 2019 at 18:25)</a>:</h4>
<p>but it seems to me this approach doesn't scale</p>



<a name="157293115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293115">(Jan 31 2019 at 18:25)</a>:</h4>
<p>I actually like the gitter/IRC way where you have to join channels</p>



<a name="157293126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293126">(Jan 31 2019 at 18:25)</a>:</h4>
<p>but the zulip UI for joining is very well hidden^^</p>



<a name="157293143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293143">(Jan 31 2019 at 18:26)</a>:</h4>
<p>if they replaced that gear by a <code>+</code> I think it'd help a lot...</p>



<a name="157293345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293345">(Jan 31 2019 at 18:28)</a>:</h4>
<p>I wish they would show all the streams but grayed out</p>



<a name="157293359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293359">(Jan 31 2019 at 18:28)</a>:</h4>
<p>maybe collapsing <code>#foo/bar</code> or something</p>



<a name="157293371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293371">(Jan 31 2019 at 18:28)</a>:</h4>
<p>or have an option that would let you do so</p>



<a name="157293402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293402">(Jan 31 2019 at 18:29)</a>:</h4>
<p>for now I will leave it there: I want to make a "landing page" for the zulip isntance, though, that kind of explains this sort of thing</p>



<a name="157293408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157293408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157293408">(Jan 31 2019 at 18:29)</a>:</h4>
<p>so we can say "join zulip" and point at <em>that</em></p>



<a name="157310272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157310272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157310272">(Jan 31 2019 at 21:54)</a>:</h4>
<p>Oh nice, a formal methods WG! <a class="stream" data-stream-id="146229" href="/#narrow/stream/146229-wg-secure-code">#wg-secure-code</a> is very enthusiastic about this sort of thing</p>



<a name="157310334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/157310334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#157310334">(Jan 31 2019 at 21:55)</a>:</h4>
<p>...even though we probably won't be able to help much. But if you come up with something usable by mere programmers we can apply and test your stuff at least :)</p>



<a name="201411672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201411672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201411672">(Jun 19 2020 at 16:18)</a>:</h4>
<p>sorry for the necro,</p>



<a name="201411707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201411707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201411707">(Jun 19 2020 at 16:19)</a>:</h4>
<p>I figured I'd introduce myself since I'll probably be spending a lot of time here over the next three years :)</p>



<a name="201411906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201411906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201411906">(Jun 19 2020 at 16:20)</a>:</h4>
<p>I'm going to be working on formal verification of Rust under the supervision of Claude Marché and Jacques-Henri Jourdan at the LRI</p>



<a name="201467966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201467966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Félix Fischer <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201467966">(Jun 20 2020 at 08:14)</a>:</h4>
<p>Heeeey that's awesome!</p>



<a name="201467973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201467973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Félix Fischer <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201467973">(Jun 20 2020 at 08:15)</a>:</h4>
<p><span class="user-mention" data-user-id="312719">@Xavier Denis</span> thank you for embarking yourself on this. I hope you do well <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span>️</p>



<a name="201472941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201472941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201472941">(Jun 20 2020 at 10:58)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="312719">@Xavier Denis</span> and welcome :)</p>



<a name="201497166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/183875-wg-formal-methods/topic/hello/near/201497166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/183875-wg-formal-methods/topic/hello.html#201497166">(Jun 20 2020 at 20:56)</a>:</h4>
<p>thanks all! I hope to be able to share my current work with all of you very soon!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>